The Dangers of Interaction with Modular and Self-Healing Avionics Applications: Redundancy Considered Harmful
نویسنده
چکیده
Redundancy is one of the primary techniques for the engineering of safety-critical systems. Back-up resources can be called upon to mitigate the failure of primary systems. Traditionally, operator intervention can be required to manually switch between a failed unit and redundant resources. However, programmable systems are increasingly used to automatically detect failures and reconfigure underlying systems excluding faulty components. This creates problems if operators do not notice that their underlying systems have been reconfigured. In this paper, we examine a number of additional concerns that arise in the present generation of redundant, safety-critical applications. A range of innovative ‘self-healing’ avionics applications are providing new benefits through the application of redundancy. They are also raising serious questions about the operators’ ability to maintain situation awareness as control passes from primary to secondary and tertiary applications. Two recent in-flight interruptions involving a Boeing 777 and an Airbus A330 are used to illustrate the argument.
منابع مشابه
Safety-Critical Software Development for Integrated Modular Avionics
Many avionics systems have been successfully developed using custom hardware and software. However, in recent years, the full life-cycle costs of customized systems have forced original equipment manufacturers (OEMs) to consider the use of COTS-based systems. At the same time, there has been a noticeable migration away from federated architectures, where each individual subsystem performs a ded...
متن کاملSEU and SET-tolerant ARM Cortex-R4 CPU for Space and Avionics Applications
Soft errors induced by radiation, causing anomalies in satellite equipment and spacecrafts, have become one of the most challenging issues that impact the reliability of modern processors even in ground-level applications. In this work, we investigate the feasibility of using ARM Cortex-R4 CPU for space and avionics applications. We create a single-event upset and transient tolerant variant Cor...
متن کاملFixed point theorem for non-self mappings and its applications in the modular space
In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...
متن کاملIntegrating Redundancy Management and Real-time Services for Ultra Reliable Control Systems
Integration of multiple real-time control modules has gained increased acceptance as a new trend in the industry during the past few years. For example, the avionics industry is embracing a new design approach referred to as Integrated Modular Avionics (IMA). The IMA approach encourages the use of general-purpose basic components and sharing of common resources to minimize the development and m...
متن کاملImproving Hazard Analysis and Certification of Integrated Modular Avionics
Integrated modular avionics systems present new opportunities and benefits for developing advanced aircraft avionics, as well as a series of challenges related to hazard analysis and certification. This paper addresses some of those challenges and proposes a new procedure for improving hazard analysis of integrated modular avionics systems. A significant objective of integrated modular avionics...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009